Sfoglia per ???browse.type.metadata.subjectIsicrui??? Scienza e Ingegneria Informatica
P.O.N.(Progetto Operativo Nazionale) Ricerca e Competitivita' 2007-2013 : sensorialita' aumentata e sistemi avanzati di diagnostica per applicazioni multisettoriali .
2011-01-01 Fiorito, R; Bellecci, C; D'Amico, A; Biagini, C
Parallel decomposition of persistence modules through interval bases
2021-01-01 De Gregorio, A; Guerra, M; Scaramuccia, S; Vaccarino, F
Parallel dedicated machines scheduling with chain precedence constraints
2012-01-01 Agnetis, A; Kellerer, H; Nicosia, G; Pacifici, A
Parallel Sparse Computation Toolkit[Formula presented]
2023-01-01 D'Ambra, P; Durastante, F; Filippone, S
Peaceful coexistence: agile developer perspectives on software architecture.
2010-02-01 Falessi, D; Cantone, G; Sarcià, S; Calavaro, G; D'Amore, C; Subiaco, P
Penalized second price: a new pricing algorithm for advertising in search engines
2010-01-01 Grillo, A; Lentini, A; Naldi, M; Italiano, Gf
Performance and dependability in service computing: concepts, techniques and research directions
2011-07-01 Cardellini, V; Casalicchio, E; Castelo Branco, K; Estrella, J; Monaco, F
Performance comparison of distributed architectures for content adaptation and delivery of Web resources
2005-01-01 Canali, C; Cardellini, V; Lancellotti, R; Colajanni, M
Performance model building of pervasive computing
2005-01-01 D'Ambrogio, A; Iazeolla, G
Planning for Autonomous Planetary Vehicles
2010-01-01 Della Penna, G; Intrigila, B; Magazzeni, D; Mercorio, F
Pre-mRNA introns as a model for cryptographic algorithm: theory and experiment
2010-01-01 Regoli, M
Preserving approximation in the Min-Weighted Set Cover Problem
1997-01-01 Gambosi, G; Protasi, M; Talamo, M
Pricing of reservations for time-limited spectrum leases under overbooking
2010-01-01 Mastroeni, L; Naldi, M
Probabilistic model for interactive decision-making
1999-01-01 Reverberi, P; Talamo, M
Process Mining Manifesto
2012-11-01 van der Aalst, W; Adriansyah, A; de Medeiros, A; Arcieri, F; Baier, T; Blickle, T; Bose, J; van den Brand, P; Brandtjen, R; Buijs, J; Burattin, A; Carmona, J; Castellanos, M; Claes, J; Cook, J; Costantini, N; Curbera, F; Damiani, E; de Leoni, M; Delias, P; van Dongen, B; Dumas, M; Dustdar, S; Fahland, D; Ferreira, D; Gaaloul, W; van Geffen, F; Goel, S; Günther, C; Guzzo, A; Harmon, P; ter Hofstede, A; Hoogland, J; Ingvaldsen, J; Kato, K; Kuhn, R; Kumar, A; La Rosa, M; Maggi, F; Malerba, D; Mans, R; Manuel, A; Mccreesh, M; Mello, P; Mendling, J; Montali, M; Motahari Nezhad, H; zur Muehlen, M; Munoz Gama, J; Pontieri, L; Ribeiro, J; Rozinat, A; Seguel Pérez, H; Seguel Pérez, R; Sepúlveda, M; Sinur, J; Soffer, P; Song, M; Sperduti, A; Stilo, G; Stoel, C; Swenson, K; Talamo, M; Tan, W; Turner, C; Vanthienen, J; Varvaressos, G; Verbeek, E; Verdonk, M; Vigo, R; Wang, J; Weber, B; Weidlich, M; Weijters, T; Wen, L; Westergaard, M; Wynn, M
Producing simulation sequences by use of a Java-based generalized framework
2008-01-01 Gianni, D; D'Ambrogio, A; Iazeolla, G; Pieroni, G
Production and maintenance of goal-oriented software measurement models
2000-01-01 Cantone, G; Donzelli, P
Program specialization for verifying infinite state systems: an experimental evaluation
2010-01-01 Fioravanti, F; Pettorossi, A; Proietti, M; Senni, V
Program transformation for development, verification, and synthesis of programs
2011-01-01 Fioravanti, F; Pettorossi, A; Proietti, M; Senni, V
Program transformation: Theoretical foundations and basic techniques. Part 1
2005-01-01 Pettorossi, A; Proietti, M
| Data di pubblicazione | Titolo | Autore(i) | Tipo | File |
|---|---|---|---|---|
| 1-gen-2011 | P.O.N.(Progetto Operativo Nazionale) Ricerca e Competitivita' 2007-2013 : sensorialita' aumentata e sistemi avanzati di diagnostica per applicazioni multisettoriali . | Fiorito, R; Bellecci, C; D'Amico, A; Biagini, C | Altro | |
| 1-gen-2021 | Parallel decomposition of persistence modules through interval bases | De Gregorio, A; Guerra, M; Scaramuccia, S; Vaccarino, F | Altro | |
| 1-gen-2012 | Parallel dedicated machines scheduling with chain precedence constraints | Agnetis, A; Kellerer, H; Nicosia, G; Pacifici, A | Articolo su rivista | |
| 1-gen-2023 | Parallel Sparse Computation Toolkit[Formula presented] | D'Ambra, P; Durastante, F; Filippone, S | Articolo su rivista | |
| 1-feb-2010 | Peaceful coexistence: agile developer perspectives on software architecture. | Falessi, D; Cantone, G; Sarcià, S; Calavaro, G; D'Amore, C; Subiaco, P | Articolo su rivista | |
| 1-gen-2010 | Penalized second price: a new pricing algorithm for advertising in search engines | Grillo, A; Lentini, A; Naldi, M; Italiano, Gf | Intervento a convegno | |
| 1-lug-2011 | Performance and dependability in service computing: concepts, techniques and research directions | Cardellini, V; Casalicchio, E; Castelo Branco, K; Estrella, J; Monaco, F | Curatele | |
| 1-gen-2005 | Performance comparison of distributed architectures for content adaptation and delivery of Web resources | Canali, C; Cardellini, V; Lancellotti, R; Colajanni, M | Intervento a convegno | |
| 1-gen-2005 | Performance model building of pervasive computing | D'Ambrogio, A; Iazeolla, G | Intervento a convegno | |
| 1-gen-2010 | Planning for Autonomous Planetary Vehicles | Della Penna, G; Intrigila, B; Magazzeni, D; Mercorio, F | Intervento a convegno | |
| 1-gen-2010 | Pre-mRNA introns as a model for cryptographic algorithm: theory and experiment | Regoli, M | Intervento a convegno | |
| 1-gen-1997 | Preserving approximation in the Min-Weighted Set Cover Problem | Gambosi, G; Protasi, M; Talamo, M | Articolo su rivista | |
| 1-gen-2010 | Pricing of reservations for time-limited spectrum leases under overbooking | Mastroeni, L; Naldi, M | Intervento a convegno | |
| 1-gen-1999 | Probabilistic model for interactive decision-making | Reverberi, P; Talamo, M | Articolo su rivista | |
| 1-nov-2012 | Process Mining Manifesto | van der Aalst, W; Adriansyah, A; de Medeiros, A; Arcieri, F; Baier, T; Blickle, T; Bose, J; van den Brand, P; Brandtjen, R; Buijs, J; Burattin, A; Carmona, J; Castellanos, M; Claes, J; Cook, J; Costantini, N; Curbera, F; Damiani, E; de Leoni, M; Delias, P; van Dongen, B; Dumas, M; Dustdar, S; Fahland, D; Ferreira, D; Gaaloul, W; van Geffen, F; Goel, S; Günther, C; Guzzo, A; Harmon, P; ter Hofstede, A; Hoogland, J; Ingvaldsen, J; Kato, K; Kuhn, R; Kumar, A; La Rosa, M; Maggi, F; Malerba, D; Mans, R; Manuel, A; Mccreesh, M; Mello, P; Mendling, J; Montali, M; Motahari Nezhad, H; zur Muehlen, M; Munoz Gama, J; Pontieri, L; Ribeiro, J; Rozinat, A; Seguel Pérez, H; Seguel Pérez, R; Sepúlveda, M; Sinur, J; Soffer, P; Song, M; Sperduti, A; Stilo, G; Stoel, C; Swenson, K; Talamo, M; Tan, W; Turner, C; Vanthienen, J; Varvaressos, G; Verbeek, E; Verdonk, M; Vigo, R; Wang, J; Weber, B; Weidlich, M; Weijters, T; Wen, L; Westergaard, M; Wynn, M | Intervento a convegno | |
| 1-gen-2008 | Producing simulation sequences by use of a Java-based generalized framework | Gianni, D; D'Ambrogio, A; Iazeolla, G; Pieroni, G | Intervento a convegno | |
| 1-gen-2000 | Production and maintenance of goal-oriented software measurement models | Cantone, G; Donzelli, P | Articolo su rivista | |
| 1-gen-2010 | Program specialization for verifying infinite state systems: an experimental evaluation | Fioravanti, F; Pettorossi, A; Proietti, M; Senni, V | Intervento a convegno | |
| 1-gen-2011 | Program transformation for development, verification, and synthesis of programs | Fioravanti, F; Pettorossi, A; Proietti, M; Senni, V | Articolo su rivista | |
| 1-gen-2005 | Program transformation: Theoretical foundations and basic techniques. Part 1 | Pettorossi, A; Proietti, M | Articolo su rivista |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile